COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
C00007 00003	\font @=cmathx \font a=cmr10          \font c=cmr8
C00010 00004	\def\tpage{F} \def\rhead{} \def\csec{} \def\chead{} % "global variables"
C00013 00005	\def\Tb{10} % one unit of indentation (in points)
C00019 00006	\def\TEX{\hbox{\lowercase{\:a \uppercase{T}\hskip-2pt\lower1.94pt
C00020 ENDMK
C⊗;
\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
\chcode'45←5 \chcode'43←6 \chcode'136←7 \chcode 1←8

\def\lft#1{#1\hfill}
\def\ctr#1{\hfill#1\hfill}
\def\rt#1{\hfill#1}
\def\top#1{#1\vfill}
\def\mid#1{\vfill#1\vfill}
\def\bot#1{\vfill#1}

\def\rjustline#1{\hbox to size{\hskip0pt plus1000cm minus1000cm #1}}
\def\ctrline#1{\hbox to size{\hskip0pt plus1000cm minus1000cm #1\hskip0pt
	plus1000cm minus1000cm}}

\def\trace{\chpar0←}
\def\jpar{\chpar1←}
\def\hpen{\chpar2←}
\def\ragged{\chpar8←}

\def\log{\mathop{\char'154\char'157\char'147}\limitswitch}
\def\lg{\mathop{\char'154\char'147}\limitswitch}
\def\ln{\mathop{\char'154\char'156}\limitswitch}
\def\lim{\mathop{\char'154\char'151\char'155}}
\def\limsup{\mathop{\char'154\char'151\char'155\,\char'163\char'165\char'160}}
\def\liminf{\mathop{\char'154\char'151\char'155\,\char'151\char'156\char'146}}
\def\sin{\mathop{\char'163\char'151\char'156}\limitswitch}
\def\cos{\mathop{\char'143\char'157\char'163}\limitswitch}
\def\tan{\mathop{\char'164\char'141\char'156}\limitswitch}
\def\cot{\mathop{\char'143\char'157\char'164}\limitswitch}
\def\sec{\mathop{\char'163\char'145\char'143}\limitswitch}
\def\csc{\mathop{\char'143\char'163\char'143}\limitswitch}
\def\max{\mathop{\char'155\char'141\char'170}}
\def\min{\mathop{\char'155\char'151\char'156}}
\def\sup{\mathop{\char'163\char'165\char'160}}
\def\inf{\mathop{\char'151\char'156\char'146}}
\def\det{\mathop{\char'144\char'145\char'164}}
\def\exp{\mathop{\char'145\char'170\char'160}\limitswitch}
\def\Pr{\mathop{\char'120\char'162}}
\def\gcd{\mathop{\char'147\char'143\char'144}}
\def\lcm{\mathop{\char'154\char'143\char'155}}

\def\ldots{{.\≥.\≥.}}
\def\cdots{{\char'401\≥\char'401\≥\char'401}}
\def\ldotss{{.\≥.\≥.\≥}}
\def\cdotss{\cdots\≥}
\def\ldotsm{{\≥.\≥.\≥.\≥}}
\def\vdots{\vbox{\baselineskip 4pt\vskip 6pt\hbox{.}\hbox{.}\hbox{.}}}

\def\leftset{\mathopen{\{\,}}
\def\rightset{\mathclose{\,\}}}

\def\neqv{\mathrel{\not≡}}

\def\%{\char'45 }	% Note, the space after 45 is needed!
\def\deg{↑{\hbox{\hskip-1pt\:w\char5}}}

\def\choose{\comb()}

\def\mod{\<\,\mathbin{\char'155\char'157\char'144}\penalty900\<\,}
\def\modulo#1{\penalty0\;(\char'155\char'157\char'144\char'165\char'154\char'157
	\,\,#1)}

\def\cpile#1{\vcenter{\halign{\hfill$## $\hfill\cr#1}}}
\def\lpile#1{\vcenter{\halign{$## $\hfill\cr#1}}}
\def\rpile#1{\vcenter{\halign{\hfill$## $\cr#1}}}
\def\eqalign#1{\vcenter{\halign{\hfill$\dispstyle{##}$⊗$\dispstyle{\null##}$\hfill
\cr#1}}}
\def\eqalignno#1{\vbox{\tabskip 0pt plus 1000pt minus 1000pt
   \halign to size{\hfill$\dispstyle{##}$\tabskip 0pt
   ⊗$\dispstyle{\null##}$\hfill\tabskip 0 pt plus 1000pt minus 1000pt
   ⊗\hfill$ ##$\tabskip 0pt\cr#1}}}
\def\null{\hbox{}}
\def\twoline#1#2#3{\halign{\hbox to size{##}\cr\quad$\dispstyle{#1}$\hfill\cr
\noalign{\penalty 1000\vskip#2}\hfill$\dispstyle{#3}$\quad\cr}}

\def\chop to#1pt#2{\hbox{\lower#1pt
\null\vbox{\hbox{\lower100pt\hbox{\raise100pt
\hbox{$\dispstyle{#2}$}}}\vskip-100pt}}} % pretends that #2 is #1pt deep
\def\spose#1{\hbox to 0pt{#1 \hskip 0pt minus 10fil}}
\font @=cmathx \font a=cmr10          \font c=cmr8
\font d=cmr7   \font f=cmr5 \font g=cmi10
\font j=cmi7  \font l=cmi5   \font m=cmsc10 \font n=cms10
\font q=cmb10 \font s=cmb8 \font t=cmtt   \font u=cmsy10
\font x=cmsy7 \font z=cmsy5 \font <=cmti9  \font ==cmtt8
\font ?=cmti10

\let \curfont=\:

\hsize 18pc \vsize 52pc \maxdepth 2pt \parindent 20pt \topbaseline 10pt
\parskip 0pt plus 1 pt \lineskip 1pt
\topskip 24pt plus 6pt minus 10pt  \botskip 3pt plus 6pt
\baselineskip 12pt \dispskip 12pt plus 3pt minus 9pt
\dispaskip 0pt plus 3pt \dispbskip 7pt plus 3pt minus 4pt
\def\rm{\:a} \def\sl{\:n} \def\bf{\:q} \def\it{\:?}
\def\biglp{\mathopen{\vcenter{\hbox{\:@\char'0}}}}
\def\bigrp{\mathclose{\vcenter{\hbox{\:@\char'1}}}}
\def\9{\hskip 5pt}
\mathrm adf \mathit gjl \mathsy uxz \rm
\mathex @  \def\tt{\:t}
\def\bigglp{\mathopen{\vcenter{\hbox{\:@\char'22}}}}
\def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'23}}}}
\def\biggglp{\mathopen{\vcenter{\hbox{\:@\char'40}}}}
\def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'41}}}}

\def\qquad{\hskip 20pt}
\def\xskip{\hskip 7pt plus 3pt minus 4pt}
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2pt}
\def\yyskip{\penalty-100\vskip 6pt plus 6pt minus 4pt}

\def\textindent#1{\noindent\hbox to 20pt{\hskip 0pt plus 1000pt minus 1000pt#1\ 
}\!}
\def\tpage{F} \def\rhead{} \def\csec{} \def\chead{} % "global variables"
\def\titlepage{\gdef\tpage{T}}   % \titlepage sets tpage to T
\def\runninglefthead#1{\gdef\rhead{\:m#1}\!} %\runninglefthead sets rhead
\def\docmark#1#2{\mark
   {\ifeven0{\hbox to .45 in{\:a\count0\hfill}\rhead\hfill\:ux\:a#2}
   \else{\:ux\:a\csec\hfill\:m\uppercase{#1}\hbox to .45 in{\:a\hfill\count0}}}}

\def\8{T} \def\lr{L}
\output{\if T\8{\gdef\8{F}\vsize 49pc \hsize 18.4pc \save1\page \gdef\zz{T}}
\else{ % Not the initial cross-reference info
\if L\lr{\gdef\lr{R}\save0\page}
\else{ % Not the left-hand column of double columns
\gdef\lr{L}\save3\hbox to 38pc{\box0\hfill\page}
\if T\zz{\gdef\zz{F}\save3\vbox to 56pc{\box1\vskip0pt minus 1000fil \box3}
\vsize 52pc}\else{}
\vbox to 56pc{         % prepare the full page of this fixed height
\baselineskip 12pt \hbox{} % empty line to position next baseline
	\hbox to 38pc{\ifeven0{\topmark}\else{\botmark}}
	\hbox{}	% empty line whose baseline is exactly 24pt from top
	\box3\vfill	% insert the page contents
}			% completion of the \vbox

\advcount0}}}		% increase page number by 1 and end output routine
\vfill\eject
\def\Tb{10} % one unit of indentation (in points)
\def\Tbb{20} % two units of indentation (in points)
\def\\#1{\hbox{\it\5#1.\/\hskip.5pt}} % italic type for identifiers
\def\5#1{\if.#1{\gdef\o{}}\else{\gdef\o{\5}\if_#1{\_}\else{#1}}\o} % _ → \_
\def\.#1{\hbox{\def\\{\char'134 }\:t#1}} % typewriter type for strings
\def\
{\hbox{\bf#1}} % boldface type for word delimiters
\def\_{\hskip.06em\vbox{\hrule width .4em}} % underline symbol within
	% identifiers (it's not present in the italic font)
\def\0{\hskip 0pt plus 10000pt\penalty0\hskip\Tbb pt plus-10000pt
	\hbox{\hskip-\Tbb pt}} % optional beginning of new line (a tricky macro)
\def\1{\advcount7 by \Tb \hangindent \count7pt} % indent one more unit
\def\2{\par \hangindent \count7pt \noindent
	\hbox{\hskip\count7pt \hskip-\Tbb pt}} % compulsory beginning of new line
\def\3{\advcount7 by-\Tb} % indent one less unit
\def\4#1{\hskip 0pt plus 10000pt\penalty#10
	\hskip 0pt plus-10000pt} % optional break with specified penalty

\def\6{\hbox{$\langle\,$}}
\def\7{\hbox{$\,\rangle$}}
\def\note{\par\vskip4pt\:c\baselineskip9pt\noindent\hangindent\Tbb pt}
\def\pascal{\par\vskip3pt\baselineskip12pt
\ragged1000000\jpar1000\hpen1000\setcount7\Tb\1}

\def\advsec{\advcount8 \xdef\nsec{\count8}
  \docmark{\chead}{\nsec} \xdef\csec{\nsec}}
\def\secskip{\vskip 12pt \penalty-100}
% \def\secskip{\vskip 12pt plus 1fil \penalty-100 \vskip 0pt plus -1fil}
\def\secbegin#1{\par \advsec \secskip
  \secc a#1T\head F#1} % this expands to \sech \head F #1 (if #1=\head) or \seca #1
\def\secc#1\head#2{\if T#2{\gdef\secs{\sech}}\else{\gdef\secs{\seca}}\secs}
\def\seca#1{\docmark{\chead}{\csec} \secb{}#1}
\def\sech\head F#1#2{\docmark{#2}{\csec}\gdef\chead{#2}\secb{\chead.}}
\def\secb#1{\noindent{\bf\csec. #1}\xskip
  \ragged0 \jpar2 \hpen50 \baselineskip12pt \rm \!}

\def\index{\par \advsec \vfill \eject
\docmark{Cross references}{\csec} \gdef\chead{Cross references}
\secb{Cross reference table.} The following index shows every section number in
which every identifier is used. Underlined numbers indicate the section where the
stated identifier was defined to be a constant or a macro that will be translated
by the {\:c PASCAL} preprocessor.\par
\def\1{T} \def\lr{L}
\output{\if T\1{\gdef\1{F}\vsize 49pc \hsize 113pt \save1\page \gdef\2{T}}
\else{ % Not the initial cross-reference info
\if L\lr{\gdef\lr{R}\save0\page}
\else{ % Not the left-hand column of double columns
\gdef\lr{L}\save3\hbox to 29pc{\box0\hfill\page}
\if T\2{\gdef\2{F}\save3\vbox to 56pc{\box1\vskip0pt minus 1000fil \box3}
\vsize 52pc}\else{}
\vbox to 56pc{         % prepare the full page of this fixed height
\baselineskip 12pt \hbox{} % empty line to position next baseline
	\hbox to 29pc{\ifeven0{\topmark}\else{\botmark}}
	\hbox{}	% empty line whose baseline is exactly 24pt from top
	\box3\vfill	% insert the page contents
}			% completion of the \vbox
\advcount0}}}		% increase page number by 1 and end output routine
\vfill\eject
\def\\##1:{\par\hangindent 10pt \noindent \hbox{\it\5##1.\/\hskip.5pt}:\xskip}
\baselineskip9pt \jpar1000 \ragged1000 \:c \def\bf{\:s}
\def\&##1{$\underline{##1}$}
\mathrm ccc\def\it{\:=}} % That's the end of the definition of \index

\def\endindex{\par\vfill\eject \if L\lr{}\else{\null\eject}}
\def\TEX{\hbox{\lowercase{\:a \uppercase{T}\hskip-2pt\lower1.94pt
	\hbox{\uppercase{E}}\hskip-2pt \uppercase{X}}}} % somehow the "a" gets converted to "A"
\def\goto{\&{goto}}
\def\neq{≤}
\def\hjust{\hbox} \def\vjust{\vbox} % needed by TEXDOC (IAZ)